More from this Author

Risks and Security of Internet and Systems

by Nora Cuppens (Editor), édéric Cuppens (Editor), Jean-Louis Lanet (Editor), Axel Legay (Editor), Joaquin Garcia-Alfaro (Editor)

Risks and Security of Internet and Systems

by édéric Cuppens (Editor), Nora Cuppens (Editor), Jean-Louis Lanet (Editor), Axel Legay (Editor)

Models, Algorithms, Logics and Tools

by Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingólfsdóttir (Editor), Axel Legay (Editor), Radu Mardare (Editor)

Tools and Algorithms for the Construction and Analysis of Systems

by Axel Legay (Editor), Tiziana Margaria (Editor)

Hardware and Software: Verification and Testing

by Valeria Bertacco (Editor), Axel Legay (Editor)

Model Checking Software

by Fabrizio Biondi (Editor), Thomas Given-Wilson (Editor), Axel Legay (Editor)

Automated Technology for Verification and Analysis

by Cyrille Artho (Editor), Axel Legay (Editor), Doron Peled (Editor)

Formal Modeling and Analysis of Timed Systems

by Axel Legay (Editor), Marius Bozga (Editor)

Automated Technology for Verification and Analysis

by Cyrille Artho (Editor), Axel Legay (Editor), Doron Peled (Editor)

Hardware and Software: Verification and Testing

by Valeria Bertacco (Editor), Axel Legay (Editor)

From Programs to Systems - the Systems Perspective in Computing

by Saddek Bensalem (Editor), Yassine Lakhnech (Editor), Axel Legay (Editor)

Runtime Verification

by Axel Legay (Editor), Saddek Bensalem (Editor)